ePMC

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 2
Property:unfairA (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files egl.prism --model-input-type prism --property-input-files egl.props --property-input-names unfairA --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=10,L=2
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property unfairA
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2042 2042
build-model-states-explored 4651 2609
build-model-states-explored 7656 3004
build-model-states-explored 10283 2628
build-model-states-explored 12924 2641
build-model-states-explored 15600 2676
build-model-states-explored 18288 2688
build-model-states-explored 21307 3019
build-model-states-explored 24324 3017
build-model-states-explored 27322 2998
build-model-states-explored 30338 3016
build-model-states-explored 32886 2548
build-model-states-explored 35538 2652
build-model-states-explored 38192 2654
build-model-states-explored 40850 2658
build-model-states-explored 43506 2656
build-model-states-explored 46159 2653
build-model-states-explored 48795 2636
build-model-states-explored 51426 2631
build-model-states-explored 54095 2669
build-model-states-explored 56757 2662
build-model-states-explored 59419 2662
build-model-states-explored 62078 2659
build-model-states-explored 64745 2667
build-model-states-explored 66742 1997
build-model-states-explored 69734 2992
build-model-states-explored 72741 3007
build-model-states-explored 75733 2992
build-model-states-explored 78736 3003
build-model-states-explored 81732 2996
build-model-states-explored 84737 3005
build-model-states-explored 87741 3004
build-model-states-explored 90745 3004
build-model-states-explored 93747 3002
build-model-states-explored 96744 2997
build-model-states-explored 99675 2931
build-model-states-explored 102677 3002
build-model-states-explored 105674 2997
build-model-states-explored 108675 3001
build-model-states-explored 111675 3000
build-model-states-explored 114682 3007
build-model-states-explored 117686 3004
build-model-states-explored 120689 3003
build-model-states-explored 123693 3004
build-model-states-explored 126698 3005
build-model-states-explored 129704 3006
build-model-states-explored 131072 1368
build-model-states-explored 133543 2471
build-model-states-explored 136195 2652
build-model-states-explored 138846 2651
build-model-states-explored 141500 2654
build-model-states-explored 144155 2655
build-model-states-explored 146806 2651
build-model-states-explored 149465 2659
build-model-states-explored 152122 2657
build-model-states-explored 154780 2658
build-model-states-explored 157431 2651
build-model-states-explored 160090 2659
build-model-states-explored 162749 2659
build-model-states-explored 165400 2651
build-model-states-explored 168057 2657
build-model-states-explored 170711 2654
build-model-states-explored 173363 2652
build-model-states-explored 176025 2662
build-model-states-explored 178681 2656
build-model-states-explored 181333 2652
build-model-states-explored 183988 2655
build-model-states-explored 186640 2652
build-model-states-explored 189299 2659
build-model-states-explored 191957 2658
build-model-states-explored 194620 2663
build-model-states-explored 197139 2519
build-model-states-explored 199787 2648
build-model-states-explored 202442 2655
build-model-states-explored 205094 2652
build-model-states-explored 207746 2652
build-model-states-explored 210405 2659
build-model-states-explored 213059 2654
build-model-states-explored 215712 2653
build-model-states-explored 218372 2660
build-model-states-explored 221030 2658
build-model-states-explored 223687 2657
build-model-states-explored 226351 2664
build-model-states-explored 229008 2657
build-model-states-explored 231666 2658
build-model-states-explored 234320 2654
build-model-states-explored 236975 2655
build-model-states-explored 239632 2657
build-model-states-explored 242295 2663
build-model-states-explored 244957 2662
build-model-states-explored 247619 2662
build-model-states-explored 250276 2657
build-model-states-explored 252929 2653
build-model-states-explored 255586 2657
build-model-states-explored 258248 2662
build-model-states-explored 260916 2668
build-model-states-explored 262144 1228
build-model-states-explored 263147 1003
build-model-states-explored 266146 2999
build-model-states-explored 269141 2995
build-model-states-explored 272145 3004
build-model-states-explored 275145 3000
build-model-states-explored 278148 3003
build-model-states-explored 281152 3004
build-model-states-explored 284149 2997
build-model-states-explored 287141 2992
build-model-states-explored 290140 2999
build-model-states-explored 293141 3001
build-model-states-explored 296139 2998
build-model-states-explored 299135 2996
build-model-states-explored 302131 2996
build-model-states-explored 305132 3001
build-model-states-explored 308135 3003
build-model-states-explored 311144 3009
build-model-states-explored 314147 3003
build-model-states-explored 317150 3003
build-model-states-explored 320155 3005
build-model-states-explored 323149 2994
build-model-states-explored 326146 2997
build-model-states-explored 329145 2999
build-model-states-explored 332144 2999
build-model-states-explored 335144 3000
build-model-states-explored 338141 2997
build-model-states-explored 341139 2998
build-model-states-explored 344141 3002
build-model-states-explored 347146 3005
build-model-states-explored 350147 3001
build-model-states-explored 353146 2999
build-model-states-explored 356141 2995
build-model-states-explored 359139 2998
build-model-states-explored 362140 3001
build-model-states-explored 365140 3000
build-model-states-explored 368139 2999
build-model-states-explored 371139 3000
build-model-states-explored 374138 2999
build-model-states-explored 377137 2999
build-model-states-explored 380135 2998
build-model-states-explored 383135 3000
build-model-states-explored 386132 2997
build-model-states-explored 389130 2998
build-model-states-explored 392126 2996
build-model-states-explored 394797 2671
build-model-states-explored 397797 3000
build-model-states-explored 400803 3006
build-model-states-explored 403806 3003
build-model-states-explored 406796 2990
build-model-states-explored 409776 2980
build-model-states-explored 412762 2986
build-model-states-explored 415759 2997
build-model-states-explored 418761 3002
build-model-states-explored 421767 3006
build-model-states-explored 424764 2997
build-model-states-explored 427758 2994
build-model-states-explored 430753 2995
build-model-states-explored 433752 2998
build-model-states-explored 436757 3006
build-model-states-explored 439752 2995
build-model-states-explored 442754 3002
build-model-states-explored 445752 2998
build-model-states-explored 448748 2996
build-model-states-explored 451750 3002
build-model-states-explored 454751 3001
build-model-states-explored 457750 2999
build-model-states-explored 460746 2996
build-model-states-explored 463746 3000
build-model-states-explored 466741 2995
build-model-states-explored 469744 3003
build-model-states-explored 472730 2986
build-model-states-explored 475732 3002
build-model-states-explored 478730 2998
build-model-states-explored 481725 2995
build-model-states-explored 484725 3000
build-model-states-explored 487724 2999
build-model-states-explored 490722 2998
build-model-states-explored 493724 3002
build-model-states-explored 496727 3003
build-model-states-explored 499723 2996
build-model-states-explored 502718 2995
build-model-states-explored 505715 2997
build-model-states-explored 508719 3004
build-model-states-explored 511718 2999
build-model-states-explored 514714 2996
build-model-states-explored 517712 2998
build-model-states-explored 520711 2999
build-model-states-explored 523710 2999
build-model-states-explored 524288 578
build-model-states-explored 524288 0
build-model-states-explored 525321 1033
build-model-states-explored 527974 2653
build-model-states-explored 530627 2653
build-model-states-explored 533279 2652
build-model-states-explored 535932 2653
build-model-states-explored 538584 2652
build-model-states-explored 541240 2656
build-model-states-explored 543893 2653
build-model-states-explored 546544 2651
build-model-states-explored 549201 2657
build-model-states-explored 551863 2662
build-model-states-explored 554306 2443
build-model-states-explored 557283 2977
build-model-states-explored 560255 2972
build-model-states-explored 563225 2970
build-model-states-explored 566197 2972
build-model-states-explored 569140 2943
build-model-states-explored 572118 2978
build-model-states-explored 575092 2974
build-model-states-explored 578062 2970
build-model-states-explored 581037 2975
build-model-states-explored 584007 2970
build-model-states-explored 586998 2991
build-model-states-explored 589974 2976
build-model-states-explored 592949 2975
build-model-states-explored 595922 2973
build-model-states-explored 598889 2967
build-model-states-explored 601857 2968
build-model-states-explored 604835 2978
build-model-states-explored 607804 2969
build-model-states-explored 610761 2957
build-model-states-explored 613737 2976
build-model-states-explored 616707 2970
build-model-states-explored 619679 2972
build-model-states-explored 622656 2977
build-model-states-explored 625633 2977
build-model-states-explored 628603 2970
build-model-states-explored 631575 2972
build-model-states-explored 634553 2978
build-model-states-explored 637535 2982
build-model-states-explored 640490 2955
build-model-states-explored 643471 2981
build-model-states-explored 646445 2974
build-model-states-explored 649417 2972
build-model-states-explored 652391 2974
build-model-states-explored 655383 2992
build-model-states-explored 658353 2970
build-model-states-explored 661320 2967
build-model-states-explored 664292 2972
build-model-states-explored 667270 2978
build-model-states-explored 670248 2978
build-model-states-explored 673222 2974
build-model-states-explored 676197 2975
build-model-states-explored 679164 2967
build-model-states-explored 682144 2980
build-model-states-explored 685118 2974
build-model-states-explored 688092 2974
build-model-states-explored 691064 2972
build-model-states-explored 694041 2977
build-model-states-explored 697006 2965
build-model-states-explored 699985 2979
build-model-states-explored 702956 2971
build-model-states-explored 705934 2978
build-model-states-explored 708906 2972
build-model-states-explored 711875 2969
build-model-states-explored 714845 2970
build-model-states-explored 717822 2977
build-model-states-explored 720801 2979
build-model-states-explored 723777 2976
build-model-states-explored 726754 2977
build-model-states-explored 729720 2966
build-model-states-explored 732693 2973
build-model-states-explored 735683 2990
build-model-states-explored 738653 2970
build-model-states-explored 741618 2965
build-model-states-explored 744590 2972
build-model-states-explored 747563 2973
build-model-states-explored 750529 2966
build-model-states-explored 753507 2978
build-model-states-explored 756479 2972
build-model-states-explored 759469 2990
build-model-states-explored 762457 2988
build-model-states-explored 765431 2974
build-model-states-explored 768411 2980
build-model-states-explored 771393 2982
build-model-states-explored 774366 2973
build-model-states-explored 777332 2966
build-model-states-explored 780306 2974
build-model-states-explored 783278 2972
build-model-states-explored 786267 2989
build-model-states-explored 788813 2546
build-model-states-explored 791750 2937
build-model-states-explored 794725 2975
build-model-states-explored 797700 2975
build-model-states-explored 800676 2976
build-model-states-explored 803668 2992
build-model-states-explored 806653 2985
build-model-states-explored 809634 2981
build-model-states-explored 812621 2987
build-model-states-explored 815602 2981
build-model-states-explored 818588 2986
build-model-states-explored 821566 2978
build-model-states-explored 824547 2981
build-model-states-explored 827539 2992
build-model-states-explored 830524 2985
build-model-states-explored 833514 2990
build-model-states-explored 836498 2984
build-model-states-explored 839479 2981
build-model-states-explored 842473 2994
build-model-states-explored 845453 2980
build-model-states-explored 848443 2990
build-model-states-explored 851427 2984
build-model-states-explored 854411 2984
build-model-states-explored 857404 2993
build-model-states-explored 860386 2982
build-model-states-explored 863357 2971
build-model-states-explored 866348 2991
build-model-states-explored 869339 2991
build-model-states-explored 872328 2989
build-model-states-explored 875318 2990
build-model-states-explored 878319 3001
build-model-states-explored 881299 2980
build-model-states-explored 884292 2993
build-model-states-explored 887281 2989
build-model-states-explored 890282 3001
build-model-states-explored 893283 3001
build-model-states-explored 896279 2996
build-model-states-explored 899274 2995
build-model-states-explored 902275 3001
build-model-states-explored 905270 2995
build-model-states-explored 908261 2991
build-model-states-explored 911255 2994
build-model-states-explored 914236 2981
build-model-states-explored 917215 2979
build-model-states-explored 920189 2974
build-model-states-explored 923189 3000
build-model-states-explored 926149 2960
build-model-states-explored 929135 2986
build-model-states-explored 932126 2991
build-model-states-explored 935120 2994
build-model-states-explored 938103 2983
build-model-states-explored 941083 2980
build-model-states-explored 944075 2992
build-model-states-explored 947073 2998
build-model-states-explored 950068 2995
build-model-states-explored 953070 3002
build-model-states-explored 956064 2994
build-model-states-explored 959066 3002
build-model-states-explored 962065 2999
build-model-states-explored 965062 2997
build-model-states-explored 968059 2997
build-model-states-explored 971054 2995
build-model-states-explored 974055 3001
build-model-states-explored 977042 2987
build-model-states-explored 980031 2989
build-model-states-explored 983030 2999
build-model-states-explored 986019 2989
build-model-states-explored 989009 2990
build-model-states-explored 991999 2990
build-model-states-explored 994990 2991
build-model-states-explored 997974 2984
build-model-states-explored 1000958 2984
build-model-states-explored 1003933 2975
build-model-states-explored 1006916 2983
build-model-states-explored 1009897 2981
build-model-states-explored 1012881 2984
build-model-states-explored 1015872 2991
build-model-states-explored 1018853 2981
build-model-states-explored 1021848 2995
build-model-states-explored 1024837 2989
build-model-states-explored 1027825 2988
build-model-states-explored 1030810 2985
build-model-states-explored 1033801 2991
build-model-states-explored 1036788 2987
build-model-states-explored 1039770 2982
build-model-states-explored 1042760 2990
build-model-states-explored 1045754 2994
build-model-states-explored 1048576 2822
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1049234 658
build-model-states-explored 1051879 2645
build-model-states-explored 1054537 2658
build-model-states-explored 1057203 2666
build-model-states-explored 1059862 2659
build-model-states-explored 1062517 2655
build-model-states-explored 1065182 2665
build-model-states-explored 1067846 2664
build-model-states-explored 1070502 2656
build-model-states-explored 1073160 2658
build-model-states-explored 1075826 2666
build-model-states-explored 1078482 2656
build-model-states-explored 1081145 2663
build-model-states-explored 1083808 2663
build-model-states-explored 1086464 2656
build-model-states-explored 1089123 2659
build-model-states-explored 1091782 2659
build-model-states-explored 1094450 2668
build-model-states-explored 1097111 2661
build-model-states-explored 1099768 2657
build-model-states-explored 1102431 2663
build-model-states-explored 1105091 2660
build-model-states-explored 1107754 2663
build-model-states-explored 1110417 2663
build-model-states-explored 1113078 2661
build-model-states-explored 1115742 2664
build-model-states-explored 1118407 2665
build-model-states-explored 1121068 2661
build-model-states-explored 1123723 2655
build-model-states-explored 1126377 2654
build-model-states-explored 1129044 2667
build-model-states-explored 1131701 2657
build-model-states-explored 1134363 2662
build-model-states-explored 1137027 2664
build-model-states-explored 1139677 2650
build-model-states-explored 1142330 2653
build-model-states-explored 1144926 2596
build-model-states-explored 1147583 2657
build-model-states-explored 1150229 2646
build-model-states-explored 1152893 2664
build-model-states-explored 1155550 2657
build-model-states-explored 1158207 2657
build-model-states-explored 1160870 2663
build-model-states-explored 1163530 2660
build-model-states-explored 1166186 2656
build-model-states-explored 1168848 2662
build-model-states-explored 1171511 2663
build-model-states-explored 1174173 2662
build-model-states-explored 1176831 2658
build-model-states-explored 1179489 2658
build-model-states-explored 1182151 2662
build-model-states-explored 1184809 2658
build-model-states-explored 1187471 2662
build-model-states-explored 1190128 2657
build-model-states-explored 1192788 2660
build-model-states-explored 1195443 2655
build-model-states-explored 1198105 2662
build-model-states-explored 1200762 2657
build-model-states-explored 1203429 2667
build-model-states-explored 1206095 2666
build-model-states-explored 1208760 2665
build-model-states-explored 1211419 2659
build-model-states-explored 1214077 2658
build-model-states-explored 1216734 2657
build-model-states-explored 1219394 2660
build-model-states-explored 1222064 2670
build-model-states-explored 1224728 2664
build-model-states-explored 1227391 2663
build-model-states-explored 1230024 2633
build-model-states-explored 1232683 2659
build-model-states-explored 1235352 2669
build-model-states-explored 1238014 2662
build-model-states-explored 1240674 2660
build-model-states-explored 1243339 2665
build-model-states-explored 1245994 2655
build-model-states-explored 1248657 2663
build-model-states-explored 1251320 2663
build-model-states-explored 1253978 2658
build-model-states-explored 1256640 2662
build-model-states-explored 1259307 2667
build-model-states-explored 1261969 2662
build-model-states-explored 1264633 2664
build-model-states-explored 1267292 2659
build-model-states-explored 1269954 2662
build-model-states-explored 1272617 2663
build-model-states-explored 1275274 2657
build-model-states-explored 1277935 2661
build-model-states-explored 1280590 2655
build-model-states-explored 1283253 2663
build-model-states-explored 1285908 2655
build-model-states-explored 1288573 2665
build-model-states-explored 1291234 2661
build-model-states-explored 1293903 2669
build-model-states-explored 1296563 2660
build-model-states-explored 1299215 2652
build-model-states-explored 1301876 2661
build-model-states-explored 1304534 2658
build-model-states-explored 1307189 2655
build-model-states-explored 1309841 2652
build-model-states-explored 1312496 2655
build-model-states-explored 1315152 2656
build-model-states-explored 1317813 2661
build-model-states-explored 1320470 2657
build-model-states-explored 1323130 2660
build-model-states-explored 1325795 2665
build-model-states-explored 1328455 2660
build-model-states-explored 1331119 2664
build-model-states-explored 1333782 2663
build-model-states-explored 1336413 2631
build-model-states-explored 1339078 2665
build-model-states-explored 1341744 2666
build-model-states-explored 1344403 2659
build-model-states-explored 1347066 2663
build-model-states-explored 1349720 2654
build-model-states-explored 1352375 2655
build-model-states-explored 1355035 2660
build-model-states-explored 1357694 2659
build-model-states-explored 1360348 2654
build-model-states-explored 1363009 2661
build-model-states-explored 1365661 2652
build-model-states-explored 1368323 2662
build-model-states-explored 1370974 2651
build-model-states-explored 1373635 2661
build-model-states-explored 1376302 2667
build-model-states-explored 1378971 2669
build-model-states-explored 1381627 2656
build-model-states-explored 1384284 2657
build-model-states-explored 1386946 2662
build-model-states-explored 1389604 2658
build-model-states-explored 1392271 2667
build-model-states-explored 1394932 2661
build-model-states-explored 1397590 2658
build-model-states-explored 1400242 2652
build-model-states-explored 1402898 2656
build-model-states-explored 1405561 2663
build-model-states-explored 1408228 2667
build-model-states-explored 1410891 2663
build-model-states-explored 1413548 2657
build-model-states-explored 1416208 2660
build-model-states-explored 1418873 2665
build-model-states-explored 1421529 2656
build-model-states-explored 1424193 2664
build-model-states-explored 1426853 2660
build-model-states-explored 1429519 2666
build-model-states-explored 1432187 2668
build-model-states-explored 1434849 2662
build-model-states-explored 1437505 2656
build-model-states-explored 1440171 2666
build-model-states-explored 1442830 2659
build-model-states-explored 1445492 2662
build-model-states-explored 1448155 2663
build-model-states-explored 1450817 2662
build-model-states-explored 1453480 2663
build-model-states-explored 1456140 2660
build-model-states-explored 1458802 2662
build-model-states-explored 1461467 2665
build-model-states-explored 1464131 2664
build-model-states-explored 1466791 2660
build-model-states-explored 1469399 2608
build-model-states-explored 1472062 2663
build-model-states-explored 1474725 2663
build-model-states-explored 1477391 2666
build-model-states-explored 1480050 2659
build-model-states-explored 1482716 2666
build-model-states-explored 1485379 2663
build-model-states-explored 1488044 2665
build-model-states-explored 1490709 2665
build-model-states-explored 1493379 2670
build-model-states-explored 1496039 2660
build-model-states-explored 1498706 2667
build-model-states-explored 1501375 2669
build-model-states-explored 1504042 2667
build-model-states-explored 1506706 2664
build-model-states-explored 1509369 2663
build-model-states-explored 1512031 2662
build-model-states-explored 1514694 2663
build-model-states-explored 1517366 2672
build-model-states-explored 1520031 2665
build-model-states-explored 1522697 2666
build-model-states-explored 1525362 2665
build-model-states-explored 1528031 2669
build-model-states-explored 1530695 2664
build-model-states-explored 1533357 2662
build-model-states-explored 1536020 2663
build-model-states-explored 1538691 2671
build-model-states-explored 1541356 2665
build-model-states-explored 1544019 2663
build-model-states-explored 1546679 2660
build-model-states-explored 1549335 2656
build-model-states-explored 1551994 2659
build-model-states-explored 1554652 2658
build-model-states-explored 1557317 2665
build-model-states-explored 1559985 2668
build-model-states-explored 1562651 2666
build-model-states-explored 1565315 2664
build-model-states-explored 1567978 2663
build-model-states-explored 1570641 2663
build-model-states-explored 1573306 2665
build-model-states-explored 1575964 2658
build-model-states-explored 1578619 2655
build-model-states-explored 1581277 2658
build-model-states-explored 1583938 2661
build-model-states-explored 1586600 2662
build-model-states-explored 1589270 2670
build-model-states-explored 1591927 2657
build-model-states-explored 1594588 2661
build-model-states-explored 1597251 2663
build-model-states-explored 1599910 2659
build-model-states-explored 1602563 2653
build-model-states-explored 1605227 2664
build-model-states-explored 1607888 2661
build-model-states-explored 1610549 2661
build-model-states-explored 1613212 2663
build-model-states-explored 1615870 2658
build-model-states-explored 1618530 2660
build-model-states-explored 1621188 2658
build-model-states-explored 1623846 2658
build-model-states-explored 1626499 2653
build-model-states-explored 1629149 2650
build-model-states-explored 1631810 2661
build-model-states-explored 1634471 2661
build-model-states-explored 1637137 2666
build-model-states-explored 1639796 2659
build-model-states-explored 1642458 2662
build-model-states-explored 1645124 2666
build-model-states-explored 1647790 2666
build-model-states-explored 1650446 2656
build-model-states-explored 1653109 2663
build-model-states-explored 1655785 2676
build-model-states-explored 1658445 2660
build-model-states-explored 1661106 2661
build-model-states-explored 1663770 2664
build-model-states-explored 1666426 2656
build-model-states-explored 1669088 2662
build-model-states-explored 1671753 2665
build-model-states-explored 1674414 2661
build-model-states-explored 1677080 2666
build-model-states-explored 1679737 2657
build-model-states-explored 1682398 2661
build-model-states-explored 1685062 2664
build-model-states-explored 1687710 2648
build-model-states-explored 1690375 2665
build-model-states-explored 1693001 2626
build-model-states-explored 1695659 2658
build-model-states-explored 1698319 2660
build-model-states-explored 1700976 2657
build-model-states-explored 1703636 2660
build-model-states-explored 1706298 2662
build-model-states-explored 1708956 2658
build-model-states-explored 1711618 2662
build-model-states-explored 1714278 2660
build-model-states-explored 1716938 2660
build-model-states-explored 1719600 2662
build-model-states-explored 1722260 2660
build-model-states-explored 1724923 2663
build-model-states-explored 1727590 2667
build-model-states-explored 1730249 2659
build-model-states-explored 1732914 2665
build-model-states-explored 1735565 2651
build-model-states-explored 1738226 2661
build-model-states-explored 1740889 2663
build-model-states-explored 1743549 2660
build-model-states-explored 1746214 2665
build-model-states-explored 1748880 2666
build-model-states-explored 1751542 2662
build-model-states-explored 1754195 2653
build-model-states-explored 1756860 2665
build-model-states-explored 1759513 2653
build-model-states-explored 1762174 2661
build-model-states-explored 1764831 2657
build-model-states-explored 1767489 2658
build-model-states-explored 1770141 2652
build-model-states-explored 1772800 2659
build-model-states-explored 1775453 2653
build-model-states-explored 1778104 2651
build-model-states-explored 1780762 2658
build-model-states-explored 1783423 2661
build-model-states-explored 1786080 2657
build-model-states-explored 1788731 2651
build-model-states-explored 1791389 2658
build-model-states-explored 1794049 2660
build-model-states-explored 1796707 2658
build-model-states-explored 1799375 2668
build-model-states-explored 1802035 2660
build-model-states-explored 1804697 2662
build-model-states-explored 1807358 2661
build-model-states-explored 1810007 2649
build-model-states-explored 1812665 2658
build-model-states-explored 1815325 2660
build-model-states-explored 1817989 2664
build-model-states-explored 1820641 2652
build-model-states-explored 1823295 2654
build-model-states-explored 1825946 2651
build-model-states-explored 1828599 2653
build-model-states-explored 1831258 2659
build-model-states-explored 1833929 2671
build-model-states-explored 1836594 2665
build-model-states-explored 1839253 2659
build-model-states-explored 1841924 2671
build-model-states-explored 1844585 2661
build-model-states-explored 1847256 2671
build-model-states-explored 1849929 2673
build-model-states-explored 1852585 2656
build-model-states-explored 1855240 2655
build-model-states-explored 1857900 2660
build-model-states-explored 1860561 2661
build-model-states-explored 1863216 2655
build-model-states-explored 1865874 2658
build-model-states-explored 1868527 2653
build-model-states-explored 1871179 2652
build-model-states-explored 1873843 2664
build-model-states-explored 1876500 2657
build-model-states-explored 1879160 2660
build-model-states-explored 1881828 2668
build-model-states-explored 1884471 2643
build-model-states-explored 1887134 2663
build-model-states-explored 1889794 2660
build-model-states-explored 1892465 2671
build-model-states-explored 1895125 2660
build-model-states-explored 1897787 2662
build-model-states-explored 1900450 2663
build-model-states-explored 1903106 2656
build-model-states-explored 1905769 2663
build-model-states-explored 1908426 2657
build-model-states-explored 1911089 2663
build-model-states-explored 1913758 2669
build-model-states-explored 1916415 2657
build-model-states-explored 1919076 2661
build-model-states-explored 1921734 2658
build-model-states-explored 1924392 2658
build-model-states-explored 1927051 2659
build-model-states-explored 1929708 2657
build-model-states-explored 1932369 2661
build-model-states-explored 1935030 2661
build-model-states-explored 1937693 2663
build-model-states-explored 1940355 2662
build-model-states-explored 1943010 2655
build-model-states-explored 1945668 2658
build-model-states-explored 1948322 2654
build-model-states-explored 1950981 2659
build-model-states-explored 1953643 2662
build-model-states-explored 1956296 2653
build-model-states-explored 1958952 2656
build-model-states-explored 1961611 2659
build-model-states-explored 1964278 2667
build-model-states-explored 1966939 2661
build-model-states-explored 1969591 2652
build-model-states-explored 1972237 2646
build-model-states-explored 1974894 2657
build-model-states-explored 1977547 2653
build-model-states-explored 1980205 2658
build-model-states-explored 1982858 2653
build-model-states-explored 1985521 2663
build-model-states-explored 1988184 2663
build-model-states-explored 1990845 2661
build-model-states-explored 1993509 2664
build-model-states-explored 1996171 2662
build-model-states-explored 1998839 2668
build-model-states-explored 2001483 2644
build-model-states-explored 2004144 2661
build-model-states-explored 2006800 2656
build-model-states-explored 2009461 2661
build-model-states-explored 2012122 2661
build-model-states-explored 2014788 2666
build-model-states-explored 2017448 2660
build-model-states-explored 2020107 2659
build-model-states-explored 2022769 2662
build-model-states-explored 2025429 2660
build-model-states-explored 2028086 2657
build-model-states-explored 2030746 2660
build-model-states-explored 2033402 2656
build-model-states-explored 2036066 2664
build-model-states-explored 2038707 2641
build-model-states-explored 2041367 2660
build-model-states-explored 2044022 2655
build-model-states-explored 2046682 2660
build-model-states-explored 2049343 2661
build-model-states-explored 2051996 2653
build-model-states-explored 2054653 2657
build-model-states-explored 2057310 2657
build-model-states-explored 2059971 2661
build-model-states-explored 2062638 2667
build-model-states-explored 2065300 2662
build-model-states-explored 2067965 2665
build-model-states-explored 2070623 2658
build-model-states-explored 2073281 2658
build-model-states-explored 2075937 2656
build-model-states-explored 2078593 2656
build-model-states-explored 2081257 2664
build-model-states-explored 2083935 2678
build-model-states-explored 2086609 2674
build-model-states-explored 2089287 2678
build-model-states-explored 2091968 2681
build-model-states-explored 2094633 2665
build-model-states-explored 2097152 2519
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2099231 2079
build-model-states-explored 2101729 2498
build-model-states-explored 2104229 2500
build-model-states-explored 2106730 2501
build-model-states-explored 2109230 2500
build-model-states-explored 2111731 2501
build-model-states-explored 2114231 2500
build-model-states-explored 2116731 2500
build-model-states-explored 2119232 2501
build-model-states-explored 2121733 2501
build-model-states-explored 2124233 2500
build-model-states-explored 2126727 2494
build-model-states-explored 2129229 2502
build-model-states-explored 2131730 2501
build-model-states-explored 2134229 2499
build-model-states-explored 2136729 2500
build-model-states-explored 2139230 2501
build-model-states-explored 2141730 2500
build-model-states-explored 2144231 2501
build-model-states-explored 2146733 2502
build-model-states-explored 2149233 2500
build-model-states-explored 2151733 2500
build-model-states-explored 2154235 2502
build-model-states-explored 2156720 2485
build-model-states-explored 2159221 2501
build-model-states-explored 2161723 2502
build-model-states-explored 2164223 2500
build-model-states-explored 2166723 2500
build-model-states-explored 2169224 2501
build-model-states-explored 2171702 2478
build-model-states-explored 2174204 2502
build-model-states-explored 2176704 2500
build-model-states-explored 2179207 2503
build-model-states-explored 2181708 2501
build-model-states-explored 2184209 2501
build-model-states-explored 2186710 2501
build-model-states-explored 2189213 2503
build-model-states-explored 2191692 2479
build-model-states-explored 2194181 2489
build-model-states-explored 2196682 2501
build-model-states-explored 2199183 2501
build-model-states-explored 2201684 2501
build-model-states-explored 2204186 2502
build-model-states-explored 2206688 2502
build-model-states-explored 2209191 2503
build-model-states-explored 2211693 2502
build-model-states-explored 2214193 2500
build-model-states-explored 2216694 2501
build-model-states-explored 2219196 2502
build-model-states-explored 2221697 2501
build-model-states-explored 2224200 2503
build-model-states-explored 2226702 2502
build-model-states-explored 2229204 2502
build-model-states-explored 2231698 2494
build-model-states-explored 2234199 2501
build-model-states-explored 2236699 2500
build-model-states-explored 2239199 2500
build-model-states-explored 2241699 2500
build-model-states-explored 2244200 2501
build-model-states-explored 2246699 2499
build-model-states-explored 2249199 2500
build-model-states-explored 2251699 2500
build-model-states-explored 2254200 2501
build-model-states-explored 2256701 2501
build-model-states-explored 2259203 2502
build-model-states-explored 2261705 2502
build-model-states-explored 2264205 2500
build-model-states-explored 2266706 2501
build-model-states-explored 2269207 2501
build-model-states-explored 2271707 2500
build-model-states-explored 2274209 2502
build-model-states-explored 2276711 2502
build-model-states-explored 2279214 2503
build-model-states-explored 2281715 2501
build-model-states-explored 2284218 2503
build-model-states-explored 2286721 2503
build-model-states-explored 2289223 2502
build-model-states-explored 2291724 2501
build-model-states-explored 2294212 2488
build-model-states-explored 2296714 2502
build-model-states-explored 2299216 2502
build-model-states-explored 2301718 2502
build-model-states-explored 2304221 2503
build-model-states-explored 2306720 2499
build-model-states-explored 2309223 2503
build-model-states-explored 2311726 2503
build-model-states-explored 2314228 2502
build-model-states-explored 2316730 2502
build-model-states-explored 2319233 2503
build-model-states-explored 2321735 2502
build-model-states-explored 2324239 2504
build-model-states-explored 2326742 2503
build-model-states-explored 2329241 2499
build-model-states-explored 2331741 2500
build-model-states-explored 2334243 2502
build-model-states-explored 2336746 2503
build-model-states-explored 2339249 2503
build-model-states-explored 2341752 2503
build-model-states-explored 2344255 2503
build-model-states-explored 2346758 2503
build-model-states-explored 2349261 2503
build-model-states-explored 2351764 2503
build-model-states-explored 2354267 2503
build-model-states-explored 2356771 2504
build-model-states-explored 2359275 2504
build-model-states-explored 2361773 2498
build-model-states-explored 2364273 2500
build-model-states-explored 2366773 2500
build-model-states-explored 2369273 2500
build-model-states-explored 2371773 2500
build-model-states-explored 2374274 2501
build-model-states-explored 2376774 2500
build-model-states-explored 2379274 2500
build-model-states-explored 2381773 2499
build-model-states-explored 2384273 2500
build-model-states-explored 2386773 2500
build-model-states-explored 2389273 2500
build-model-states-explored 2391773 2500
build-model-states-explored 2394273 2500
build-model-states-explored 2396773 2500
build-model-states-explored 2399273 2500
build-model-states-explored 2401774 2501
build-model-states-explored 2404274 2500
build-model-states-explored 2406774 2500
build-model-states-explored 2409275 2501
build-model-states-explored 2411775 2500
build-model-states-explored 2414275 2500
build-model-states-explored 2416777 2502
build-model-states-explored 2419277 2500
build-model-states-explored 2421779 2502
build-model-states-explored 2424279 2500
build-model-states-explored 2426778 2499
build-model-states-explored 2429278 2500
build-model-states-explored 2431778 2500
build-model-states-explored 2434278 2500
build-model-states-explored 2436779 2501
build-model-states-explored 2439280 2501
build-model-states-explored 2441781 2501
build-model-states-explored 2444282 2501
build-model-states-explored 2446783 2501
build-model-states-explored 2449284 2501
build-model-states-explored 2451782 2498
build-model-states-explored 2454283 2501
build-model-states-explored 2456783 2500
build-model-states-explored 2459284 2501
build-model-states-explored 2461784 2500
build-model-states-explored 2464284 2500
build-model-states-explored 2466786 2502
build-model-states-explored 2469287 2501
build-model-states-explored 2471767 2480
build-model-states-explored 2474270 2503
build-model-states-explored 2476769 2499
build-model-states-explored 2479269 2500
build-model-states-explored 2481771 2502
build-model-states-explored 2484272 2501
build-model-states-explored 2486773 2501
build-model-states-explored 2489274 2501
build-model-states-explored 2491773 2499
build-model-states-explored 2494272 2499
build-model-states-explored 2496772 2500
build-model-states-explored 2499273 2501
build-model-states-explored 2501774 2501
build-model-states-explored 2504275 2501
build-model-states-explored 2506778 2503
build-model-states-explored 2509278 2500
build-model-states-explored 2511779 2501
build-model-states-explored 2514279 2500
build-model-states-explored 2516779 2500
build-model-states-explored 2519279 2500
build-model-states-explored 2521782 2503
build-model-states-explored 2524284 2502
build-model-states-explored 2526785 2501
build-model-states-explored 2529287 2502
build-model-states-explored 2531781 2494
build-model-states-explored 2534282 2501
build-model-states-explored 2536783 2501
build-model-states-explored 2539284 2501
build-model-states-explored 2541784 2500
build-model-states-explored 2544287 2503
build-model-states-explored 2546789 2502
build-model-states-explored 2549291 2502
build-model-states-explored 2551793 2502
build-model-states-explored 2554294 2501
build-model-states-explored 2556797 2503
build-model-states-explored 2559297 2500
build-model-states-explored 2561799 2502
build-model-states-explored 2564301 2502
build-model-states-explored 2566803 2502
build-model-states-explored 2569306 2503
build-model-states-explored 2571807 2501
build-model-states-explored 2574309 2502
build-model-states-explored 2576811 2502
build-model-states-explored 2579314 2503
build-model-states-explored 2581816 2502
build-model-states-explored 2584319 2503
build-model-states-explored 2586823 2504
build-model-states-explored 2589326 2503
build-model-states-explored 2591828 2502
build-model-states-explored 2594330 2502
build-model-states-explored 2596832 2502
build-model-states-explored 2599335 2503
build-model-states-explored 2601838 2503
build-model-states-explored 2604338 2500
build-model-states-explored 2606833 2495
build-model-states-explored 2609335 2502
build-model-states-explored 2611838 2503
build-model-states-explored 2614341 2503
build-model-states-explored 2616843 2502
build-model-states-explored 2619348 2505
build-model-states-explored 2621851 2503
build-model-states-explored 2624350 2499
build-model-states-explored 2626850 2500
build-model-states-explored 2629350 2500
build-model-states-explored 2631849 2499
build-model-states-explored 2634349 2500
build-model-states-explored 2636850 2501
build-model-states-explored 2639349 2499
build-model-states-explored 2641848 2499
build-model-states-explored 2644348 2500
build-model-states-explored 2646848 2500
build-model-states-explored 2649348 2500
build-model-states-explored 2651848 2500
build-model-states-explored 2654348 2500
build-model-states-explored 2656847 2499
build-model-states-explored 2659347 2500
build-model-states-explored 2661847 2500
build-model-states-explored 2664347 2500
build-model-states-explored 2666847 2500
build-model-states-explored 2669347 2500
build-model-states-explored 2671847 2500
build-model-states-explored 2674348 2501
build-model-states-explored 2676848 2500
build-model-states-explored 2679348 2500
build-model-states-explored 2681846 2498
build-model-states-explored 2684347 2501
build-model-states-explored 2686847 2500
build-model-states-explored 2689346 2499
build-model-states-explored 2691845 2499
build-model-states-explored 2694346 2501
build-model-states-explored 2696846 2500
build-model-states-explored 2699346 2500
build-model-states-explored 2701846 2500
build-model-states-explored 2704346 2500
build-model-states-explored 2706846 2500
build-model-states-explored 2709346 2500
build-model-states-explored 2711846 2500
build-model-states-explored 2714346 2500
build-model-states-explored 2716847 2501
build-model-states-explored 2719348 2501
build-model-states-explored 2721847 2499
build-model-states-explored 2724346 2499
build-model-states-explored 2726847 2501
build-model-states-explored 2729347 2500
build-model-states-explored 2731848 2501
build-model-states-explored 2734348 2500
build-model-states-explored 2736849 2501
build-model-states-explored 2739350 2501
build-model-states-explored 2741851 2501
build-model-states-explored 2744354 2503
build-model-states-explored 2746856 2502
build-model-states-explored 2749359 2503
build-model-states-explored 2751861 2502
build-model-states-explored 2754361 2500
build-model-states-explored 2756857 2496
build-model-states-explored 2759357 2500
build-model-states-explored 2761857 2500
build-model-states-explored 2764356 2499
build-model-states-explored 2766857 2501
build-model-states-explored 2769358 2501
build-model-states-explored 2771852 2494
build-model-states-explored 2774353 2501
build-model-states-explored 2776808 2455
build-model-states-explored 2779310 2502
build-model-states-explored 2781811 2501
build-model-states-explored 2784314 2503
build-model-states-explored 2786816 2502
build-model-states-explored 2789316 2500
build-model-states-explored 2791817 2501
build-model-states-explored 2794319 2502
build-model-states-explored 2796821 2502
build-model-states-explored 2799322 2501
build-model-states-explored 2801824 2502
build-model-states-explored 2804325 2501
build-model-states-explored 2806827 2502
build-model-states-explored 2809329 2502
build-model-states-explored 2811830 2501
build-model-states-explored 2814332 2502
build-model-states-explored 2816835 2503
build-model-states-explored 2819337 2502
build-model-states-explored 2821838 2501
build-model-states-explored 2824339 2501
build-model-states-explored 2826841 2502
build-model-states-explored 2829341 2500
build-model-states-explored 2831837 2496
build-model-states-explored 2834339 2502
build-model-states-explored 2836840 2501
build-model-states-explored 2839342 2502
build-model-states-explored 2841845 2503
build-model-states-explored 2844347 2502
build-model-states-explored 2846849 2502
build-model-states-explored 2849352 2503
build-model-states-explored 2851853 2501
build-model-states-explored 2854354 2501
build-model-states-explored 2856856 2502
build-model-states-explored 2859358 2502
build-model-states-explored 2861860 2502
build-model-states-explored 2864363 2503
build-model-states-explored 2866865 2502
build-model-states-explored 2869366 2501
build-model-states-explored 2871865 2499
build-model-states-explored 2874367 2502
build-model-states-explored 2876871 2504
build-model-states-explored 2879372 2501
build-model-states-explored 2881874 2502
build-model-states-explored 2884376 2502
build-model-states-explored 2886874 2498
build-model-states-explored 2889373 2499
build-model-states-explored 2891873 2500
build-model-states-explored 2894373 2500
build-model-states-explored 2896873 2500
build-model-states-explored 2899374 2501
build-model-states-explored 2901873 2499
build-model-states-explored 2904372 2499
build-model-states-explored 2906870 2498
build-model-states-explored 2909371 2501
build-model-states-explored 2911871 2500
build-model-states-explored 2914372 2501
build-model-states-explored 2916867 2495
build-model-states-explored 2919357 2490
build-model-states-explored 2921857 2500
build-model-states-explored 2924357 2500
build-model-states-explored 2926858 2501
build-model-states-explored 2929358 2500
build-model-states-explored 2931860 2502
build-model-states-explored 2934360 2500
build-model-states-explored 2936861 2501
build-model-states-explored 2939362 2501
build-model-states-explored 2941862 2500
build-model-states-explored 2944363 2501
build-model-states-explored 2946865 2502
build-model-states-explored 2949367 2502
build-model-states-explored 2951866 2499
build-model-states-explored 2954366 2500
build-model-states-explored 2956867 2501
build-model-states-explored 2959368 2501
build-model-states-explored 2961869 2501
build-model-states-explored 2964370 2501
build-model-states-explored 2966872 2502
build-model-states-explored 2969372 2500
build-model-states-explored 2971874 2502
build-model-states-explored 2974376 2502
build-model-states-explored 2976877 2501
build-model-states-explored 2979380 2503
build-model-states-explored 2981881 2501
build-model-states-explored 2984382 2501
build-model-states-explored 2986883 2501
build-model-states-explored 2989384 2501
build-model-states-explored 2991885 2501
build-model-states-explored 2994386 2501
build-model-states-explored 2996888 2502
build-model-states-explored 2999390 2502
build-model-states-explored 3001890 2500
build-model-states-explored 3004393 2503
build-model-states-explored 3006895 2502
build-model-states-explored 3009397 2502
build-model-states-explored 3011898 2501
build-model-states-explored 3014402 2504
build-model-states-explored 3016902 2500
build-model-states-explored 3019403 2501
build-model-states-explored 3021903 2500
build-model-states-explored 3024387 2484
build-model-states-explored 3026881 2494
build-model-states-explored 3029374 2493
build-model-states-explored 3031865 2491
build-model-states-explored 3034358 2493
build-model-states-explored 3036851 2493
build-model-states-explored 3039344 2493
build-model-states-explored 3041833 2489
build-model-states-explored 3044327 2494
build-model-states-explored 3046821 2494
build-model-states-explored 3049316 2495
build-model-states-explored 3051807 2491
build-model-states-explored 3054267 2460
build-model-states-explored 3056750 2483
build-model-states-explored 3059243 2493
build-model-states-explored 3061708 2465
build-model-states-explored 3064201 2493
build-model-states-explored 3066691 2490
build-model-states-explored 3069185 2494
build-model-states-explored 3071640 2455
build-model-states-explored 3074135 2495
build-model-states-explored 3076623 2488
build-model-states-explored 3079117 2494
build-model-states-explored 3081609 2492
build-model-states-explored 3084102 2493
build-model-states-explored 3086596 2494
build-model-states-explored 3089089 2493
build-model-states-explored 3091581 2492
build-model-states-explored 3094076 2495
build-model-states-explored 3096570 2494
build-model-states-explored 3099064 2494
build-model-states-explored 3101557 2493
build-model-states-explored 3104052 2495
build-model-states-explored 3106546 2494
build-model-states-explored 3109042 2496
build-model-states-explored 3111536 2494
build-model-states-explored 3114029 2493
build-model-states-explored 3116522 2493
build-model-states-explored 3119017 2495
build-model-states-explored 3121510 2493
build-model-states-explored 3124004 2494
build-model-states-explored 3126499 2495
build-model-states-explored 3128995 2496
build-model-states-explored 3131452 2457
build-model-states-explored 3133946 2494
build-model-states-explored 3136441 2495
build-model-states-explored 3138936 2495
build-model-states-explored 3141428 2492
build-model-states-explored 3143922 2494
build-model-states-explored 3146287 2365
build-model-states-explored 3148775 2488
build-model-states-explored 3151263 2488
build-model-states-explored 3153752 2489
build-model-states-explored 3156240 2488
build-model-states-explored 3158729 2489
build-model-states-explored 3161218 2489
build-model-states-explored 3163706 2488
build-model-states-explored 3166194 2488
build-model-states-explored 3168682 2488
build-model-states-explored 3171171 2489
build-model-states-explored 3173660 2489
build-model-states-explored 3176150 2490
build-model-states-explored 3178639 2489
build-model-states-explored 3181125 2486
build-model-states-explored 3183614 2489
build-model-states-explored 3186104 2490
build-model-states-explored 3188592 2488
build-model-states-explored 3191079 2487
build-model-states-explored 3193569 2490
build-model-states-explored 3196059 2490
build-model-states-explored 3198548 2489
build-model-states-explored 3201038 2490
build-model-states-explored 3203527 2489
build-model-states-explored 3205993 2466
build-model-states-explored 3208483 2490
build-model-states-explored 3210974 2491
build-model-states-explored 3213462 2488
build-model-states-explored 3215925 2463
build-model-states-explored 3218413 2488
build-model-states-explored 3220903 2490
build-model-states-explored 3223393 2490
build-model-states-explored 3225884 2491
build-model-states-explored 3228365 2481
build-model-states-explored 3230845 2480
build-model-states-explored 3233336 2491
build-model-states-explored 3235828 2492
build-model-states-explored 3238316 2488
build-model-states-explored 3240786 2470
build-model-states-explored 3243276 2490
build-model-states-explored 3245767 2491
build-model-states-explored 3248256 2489
build-model-states-explored 3250745 2489
build-model-states-explored 3253236 2491
build-model-states-explored 3255726 2490
build-model-states-explored 3258218 2492
build-model-states-explored 3260709 2491
build-model-states-explored 3263197 2488
build-model-states-explored 3265687 2490
build-model-states-explored 3268178 2491
build-model-states-explored 3270669 2491
build-model-states-explored 3273160 2491
build-model-states-explored 3275652 2492
build-model-states-explored 3278142 2490
build-model-states-explored 3280557 2415
build-model-states-explored 3283046 2489
build-model-states-explored 3285536 2490
build-model-states-explored 3288025 2489
build-model-states-explored 3290515 2490
build-model-states-explored 3293005 2490
build-model-states-explored 3295495 2490
build-model-states-explored 3297984 2489
build-model-states-explored 3300474 2490
build-model-states-explored 3302964 2490
build-model-states-explored 3305456 2492
build-model-states-explored 3307947 2491
build-model-states-explored 3310438 2491
build-model-states-explored 3312926 2488
build-model-states-explored 3315417 2491
build-model-states-explored 3317907 2490
build-model-states-explored 3320397 2490
build-model-states-explored 3322887 2490
build-model-states-explored 3325379 2492
build-model-states-explored 3327870 2491
build-model-states-explored 3330359 2489
build-model-states-explored 3332851 2492
build-model-states-explored 3335345 2494
build-model-states-explored 3337836 2491
build-model-states-explored 3340328 2492
build-model-states-explored 3342820 2492
build-model-states-explored 3345311 2491
build-model-states-explored 3347800 2489
build-model-states-explored 3350291 2491
build-model-states-explored 3352782 2491
build-model-states-explored 3355182 2400
build-model-states-explored 3357667 2485
build-model-states-explored 3360159 2492
build-model-states-explored 3362650 2491
build-model-states-explored 3365141 2491
build-model-states-explored 3367633 2492
build-model-states-explored 3370084 2451
build-model-states-explored 3372577 2493
build-model-states-explored 3375069 2492
build-model-states-explored 3377527 2458
build-model-states-explored 3380017 2490
build-model-states-explored 3382509 2492
build-model-states-explored 3385002 2493
build-model-states-explored 3387494 2492
build-model-states-explored 3389985 2491
build-model-states-explored 3392478 2493
build-model-states-explored 3394969 2491
build-model-states-explored 3397462 2493
build-model-states-explored 3399954 2492
build-model-states-explored 3402446 2492
build-model-states-explored 3404939 2493
build-model-states-explored 3407432 2493
build-model-states-explored 3409922 2490
build-model-states-explored 3412410 2488
build-model-states-explored 3414899 2489
build-model-states-explored 3417391 2492
build-model-states-explored 3419879 2488
build-model-states-explored 3422371 2492
build-model-states-explored 3424862 2491
build-model-states-explored 3427351 2489
build-model-states-explored 3429828 2477
build-model-states-explored 3432319 2491
build-model-states-explored 3434810 2491
build-model-states-explored 3437298 2488
build-model-states-explored 3439786 2488
build-model-states-explored 3442277 2491
build-model-states-explored 3444767 2490
build-model-states-explored 3447256 2489
build-model-states-explored 3449745 2489
build-model-states-explored 3452233 2488
build-model-states-explored 3454724 2491
build-model-states-explored 3457214 2490
build-model-states-explored 3459701 2487
build-model-states-explored 3462190 2489
build-model-states-explored 3464680 2490
build-model-states-explored 3467172 2492
build-model-states-explored 3469661 2489
build-model-states-explored 3472153 2492
build-model-states-explored 3474645 2492
build-model-states-explored 3477134 2489
build-model-states-explored 3479622 2488
build-model-states-explored 3482112 2490
build-model-states-explored 3484603 2491
build-model-states-explored 3487093 2490
build-model-states-explored 3489583 2490
build-model-states-explored 3492072 2489
build-model-states-explored 3494563 2491
build-model-states-explored 3497056 2493
build-model-states-explored 3499546 2490
build-model-states-explored 3502037 2491
build-model-states-explored 3504509 2472
build-model-states-explored 3507000 2491
build-model-states-explored 3509485 2485
build-model-states-explored 3511975 2490
build-model-states-explored 3514467 2492
build-model-states-explored 3516958 2491
build-model-states-explored 3519448 2490
build-model-states-explored 3521941 2493
build-model-states-explored 3524432 2491
build-model-states-explored 3526923 2491
build-model-states-explored 3529410 2487
build-model-states-explored 3531903 2493
build-model-states-explored 3534394 2491
build-model-states-explored 3536886 2492
build-model-states-explored 3539366 2480
build-model-states-explored 3541751 2385
build-model-states-explored 3544175 2424
build-model-states-explored 3546665 2490
build-model-states-explored 3549155 2490
build-model-states-explored 3551647 2492
build-model-states-explored 3554132 2485
build-model-states-explored 3556624 2492
build-model-states-explored 3559110 2486
build-model-states-explored 3561598 2488
build-model-states-explored 3564088 2490
build-model-states-explored 3566578 2490
build-model-states-explored 3569067 2489
build-model-states-explored 3571557 2490
build-model-states-explored 3574048 2491
build-model-states-explored 3576539 2491
build-model-states-explored 3579014 2475
build-model-states-explored 3581506 2492
build-model-states-explored 3583998 2492
build-model-states-explored 3586487 2489
build-model-states-explored 3588976 2489
build-model-states-explored 3591468 2492
build-model-states-explored 3593958 2490
build-model-states-explored 3596451 2493
build-model-states-explored 3598941 2490
build-model-states-explored 3601432 2491
build-model-states-explored 3603925 2493
build-model-states-explored 3606364 2439
build-model-states-explored 3608853 2489
build-model-states-explored 3611341 2488
build-model-states-explored 3613812 2471
build-model-states-explored 3616304 2492
build-model-states-explored 3618796 2492
build-model-states-explored 3621289 2493
build-model-states-explored 3623780 2491
build-model-states-explored 3626272 2492
build-model-states-explored 3628764 2492
build-model-states-explored 3631255 2491
build-model-states-explored 3633749 2494
build-model-states-explored 3636242 2493
build-model-states-explored 3638731 2489
build-model-states-explored 3641224 2493
build-model-states-explored 3643716 2492
build-model-states-explored 3646208 2492
build-model-states-explored 3648700 2492
build-model-states-explored 3651193 2493
build-model-states-explored 3653650 2457
build-model-states-explored 3656140 2490
build-model-states-explored 3658632 2492
build-model-states-explored 3661121 2489
build-model-states-explored 3663614 2493
build-model-states-explored 3666108 2494
build-model-states-explored 3668599 2491
build-model-states-explored 3671090 2491
build-model-states-explored 3673576 2486
build-model-states-explored 3676066 2490
build-model-states-explored 3678554 2488
build-model-states-explored 3681044 2490
build-model-states-explored 3683534 2490
build-model-states-explored 3686023 2489
build-model-states-explored 3688510 2487
build-model-states-explored 3690999 2489
build-model-states-explored 3693488 2489
build-model-states-explored 3695978 2490
build-model-states-explored 3698425 2447
build-model-states-explored 3700915 2490
build-model-states-explored 3703407 2492
build-model-states-explored 3705894 2487
build-model-states-explored 3708381 2487
build-model-states-explored 3710870 2489
build-model-states-explored 3713358 2488
build-model-states-explored 3715848 2490
build-model-states-explored 3718337 2489
build-model-states-explored 3720825 2488
build-model-states-explored 3723316 2491
build-model-states-explored 3725805 2489
build-model-states-explored 3728270 2465
build-model-states-explored 3730760 2490
build-model-states-explored 3733251 2491
build-model-states-explored 3735741 2490
build-model-states-explored 3738227 2486
build-model-states-explored 3740717 2490
build-model-states-explored 3743208 2491
build-model-states-explored 3745698 2490
build-model-states-explored 3748187 2489
build-model-states-explored 3750679 2492
build-model-states-explored 3753169 2490
build-model-states-explored 3755658 2489
build-model-states-explored 3758147 2489
build-model-states-explored 3760637 2490
build-model-states-explored 3763128 2491
build-model-states-explored 3765620 2492
build-model-states-explored 3768109 2489
build-model-states-explored 3770599 2490
build-model-states-explored 3773089 2490
build-model-states-explored 3775578 2489
build-model-states-explored 3778067 2489
build-model-states-explored 3780558 2491
build-model-states-explored 3783046 2488
build-model-states-explored 3785536 2490
build-model-states-explored 3788023 2487
build-model-states-explored 3790515 2492
build-model-states-explored 3793007 2492
build-model-states-explored 3795498 2491
build-model-states-explored 3797989 2491
build-model-states-explored 3800481 2492
build-model-states-explored 3802879 2398
build-model-states-explored 3805352 2473
build-model-states-explored 3807842 2490
build-model-states-explored 3810331 2489
build-model-states-explored 3812824 2493
build-model-states-explored 3815317 2493
build-model-states-explored 3817807 2490
build-model-states-explored 3820298 2491
build-model-states-explored 3822786 2488
build-model-states-explored 3825277 2491
build-model-states-explored 3827766 2489
build-model-states-explored 3830257 2491
build-model-states-explored 3832749 2492
build-model-states-explored 3835238 2489
build-model-states-explored 3837726 2488
build-model-states-explored 3840217 2491
build-model-states-explored 3842709 2492
build-model-states-explored 3845202 2493
build-model-states-explored 3847693 2491
build-model-states-explored 3850175 2482
build-model-states-explored 3852648 2473
build-model-states-explored 3855139 2491
build-model-states-explored 3857631 2492
build-model-states-explored 3860121 2490
build-model-states-explored 3862613 2492
build-model-states-explored 3865105 2492
build-model-states-explored 3867596 2491
build-model-states-explored 3870085 2489
build-model-states-explored 3872576 2491
build-model-states-explored 3875067 2491
build-model-states-explored 3877493 2426
build-model-states-explored 3879984 2491
build-model-states-explored 3882475 2491
build-model-states-explored 3884965 2490
build-model-states-explored 3887455 2490
build-model-states-explored 3889948 2493
build-model-states-explored 3892440 2492
build-model-states-explored 3894931 2491
build-model-states-explored 3897422 2491
build-model-states-explored 3899913 2491
build-model-states-explored 3902404 2491
build-model-states-explored 3904895 2491
build-model-states-explored 3907385 2490
build-model-states-explored 3909875 2490
build-model-states-explored 3912366 2491
build-model-states-explored 3914859 2493
build-model-states-explored 3917348 2489
build-model-states-explored 3919840 2492
build-model-states-explored 3922332 2492
build-model-states-explored 3924824 2492
build-model-states-explored 3927315 2491
build-model-states-explored 3929808 2493
build-model-states-explored 3932302 2494
build-model-states-explored 3934790 2488
build-model-states-explored 3937277 2487
build-model-states-explored 3939767 2490
build-model-states-explored 3942257 2490
build-model-states-explored 3944750 2493
build-model-states-explored 3947238 2488
build-model-states-explored 3949729 2491
build-model-states-explored 3952179 2450
build-model-states-explored 3954669 2490
build-model-states-explored 3957158 2489
build-model-states-explored 3959647 2489
build-model-states-explored 3962136 2489
build-model-states-explored 3964627 2491
build-model-states-explored 3967113 2486
build-model-states-explored 3969603 2490
build-model-states-explored 3972093 2490
build-model-states-explored 3974581 2488
build-model-states-explored 3977071 2490
build-model-states-explored 3979562 2491
build-model-states-explored 3982053 2491
build-model-states-explored 3984541 2488
build-model-states-explored 3987030 2489
build-model-states-explored 3989522 2492
build-model-states-explored 3992013 2491
build-model-states-explored 3994506 2493
build-model-states-explored 3996996 2490
build-model-states-explored 3999486 2490
build-model-states-explored 4001977 2491
build-model-states-explored 4004467 2490
build-model-states-explored 4006956 2489
build-model-states-explored 4009446 2490
build-model-states-explored 4011907 2461
build-model-states-explored 4014390 2483
build-model-states-explored 4016878 2488
build-model-states-explored 4019368 2490
build-model-states-explored 4021839 2471
build-model-states-explored 4024333 2494
build-model-states-explored 4026806 2473
build-model-states-explored 4029300 2494
build-model-states-explored 4031791 2491
build-model-states-explored 4034280 2489
build-model-states-explored 4036770 2490
build-model-states-explored 4039262 2492
build-model-states-explored 4041754 2492
build-model-states-explored 4044247 2493
build-model-states-explored 4046739 2492
build-model-states-explored 4049231 2492
build-model-states-explored 4051723 2492
build-model-states-explored 4054211 2488
build-model-states-explored 4056703 2492
build-model-states-explored 4059195 2492
build-model-states-explored 4061688 2493
build-model-states-explored 4064179 2491
build-model-states-explored 4066669 2490
build-model-states-explored 4069159 2490
build-model-states-explored 4071650 2491
build-model-states-explored 4074140 2490
build-model-states-explored 4076630 2490
build-model-states-explored 4079123 2493
build-model-states-explored 4081612 2489
build-model-states-explored 4084100 2488
build-model-states-explored 4086589 2489
build-model-states-explored 4089080 2491
build-model-states-explored 4091571 2491
build-model-states-explored 4094060 2489
build-model-states-explored 4096549 2489
build-model-states-explored 4099037 2488
build-model-states-explored 4101431 2394
build-model-states-explored 4103901 2470
build-model-states-explored 4106391 2490
build-model-states-explored 4108880 2489
build-model-states-explored 4111373 2493
build-model-states-explored 4113862 2489
build-model-states-explored 4116351 2489
build-model-states-explored 4118842 2491
build-model-states-explored 4121334 2492
build-model-states-explored 4123826 2492
build-model-states-explored 4126318 2492
build-model-states-explored 4128812 2494
build-model-states-explored 4131304 2492
build-model-states-explored 4133794 2490
build-model-states-explored 4136284 2490
build-model-states-explored 4138776 2492
build-model-states-explored 4141268 2492
build-model-states-explored 4143759 2491
build-model-states-explored 4146251 2492
build-model-states-explored 4148742 2491
build-model-states-explored 4151235 2493
build-model-states-explored 4153728 2493
build-model-states-explored 4156219 2491
build-model-states-explored 4158711 2492
build-model-states-explored 4161193 2482
build-model-states-explored 4163665 2472
build-model-states-explored 4166155 2490
build-model-states-explored 4168648 2493
build-model-states-explored 4171139 2491
build-model-states-explored 4173633 2494
build-model-states-explored 4176110 2477
build-model-states-explored 4178603 2493
build-model-states-explored 4181095 2492
build-model-states-explored 4183587 2492
build-model-states-explored 4186076 2489
build-model-states-explored 4188568 2492
build-model-states-explored 4191061 2493
build-model-states-explored 4193556 2495
build-model-states-explored 4194304 748
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4195543 1239
build-model-states-explored 4198018 2475
build-model-states-explored 4200499 2481
build-model-states-explored 4202888 2389
build-model-states-explored 4205382 2494
build-model-states-explored 4207876 2494
build-model-states-explored 4210369 2493
build-model-states-explored 4212848 2479
build-model-states-explored 4215326 2478
build-model-states-explored 4217754 2428
build-model-states-explored 4220243 2489
build-model-states-explored 4222728 2485
build-model-states-explored 4225215 2487
build-model-states-explored 4227695 2480
build-model-states-explored 4230162 2467
build-model-states-explored 4232636 2474
build-model-states-explored 4235109 2473
build-model-states-explored 4237592 2483
build-model-states-explored 4240080 2488
build-model-states-explored 4242566 2486
build-model-states-explored 4245042 2476
build-model-states-explored 4247514 2472
build-model-states-explored 4249988 2474
build-model-states-explored 4252467 2479
build-model-states-explored 4254957 2490
build-model-states-explored 4257439 2482
build-model-states-explored 4259927 2488
build-model-states-explored 4262403 2476
build-model-states-explored 4264872 2469
build-model-states-explored 4267346 2474
build-model-states-explored 4269828 2482
build-model-states-explored 4272321 2493
build-model-states-explored 4274812 2491
build-model-states-explored 4277271 2459
build-model-states-explored 4279744 2473
build-model-states-explored 4282217 2473
build-model-states-explored 4284686 2469
build-model-states-explored 4287174 2488
build-model-states-explored 4289661 2487
build-model-states-explored 4292145 2484
build-model-states-explored 4294621 2476
build-model-states-explored 4297095 2474
build-model-states-explored 4299567 2472
build-model-states-explored 4302047 2480
build-model-states-explored 4304536 2489
build-model-states-explored 4307025 2489
build-model-states-explored 4309512 2487
build-model-states-explored 4311977 2465
build-model-states-explored 4314449 2472
build-model-states-explored 4316918 2469
build-model-states-explored 4319403 2485
build-model-states-explored 4321896 2493
build-model-states-explored 4324384 2488
build-model-states-explored 4326862 2478
build-model-states-explored 4329335 2473
build-model-states-explored 4331808 2473
build-model-states-explored 4334286 2478
build-model-states-explored 4336769 2483
build-model-states-explored 4339258 2489
build-model-states-explored 4341746 2488
build-model-states-explored 4344223 2477
build-model-states-explored 4346695 2472
build-model-states-explored 4349170 2475
build-model-states-explored 4351561 2391
build-model-states-explored 4354048 2487
build-model-states-explored 4356533 2485
build-model-states-explored 4359017 2484
build-model-states-explored 4361487 2470
build-model-states-explored 4363963 2476
build-model-states-explored 4366439 2476
build-model-states-explored 4368932 2493
build-model-states-explored 4371418 2486
build-model-states-explored 4373908 2490
build-model-states-explored 4376382 2474
build-model-states-explored 4378855 2473
build-model-states-explored 4381329 2474
build-model-states-explored 4383808 2479
build-model-states-explored 4386295 2487
build-model-states-explored 4388783 2488
build-model-states-explored 4391271 2488
build-model-states-explored 4393744 2473
build-model-states-explored 4396216 2472
build-model-states-explored 4398691 2475
build-model-states-explored 4401180 2489
build-model-states-explored 4403670 2490
build-model-states-explored 4406154 2484
build-model-states-explored 4408633 2479
build-model-states-explored 4411100 2467
build-model-states-explored 4413572 2472
build-model-states-explored 4416049 2477
build-model-states-explored 4418538 2489
build-model-states-explored 4421025 2487
build-model-states-explored 4423500 2475
build-model-states-explored 4425945 2445
build-model-states-explored 4428416 2471
build-model-states-explored 4430879 2463
build-model-states-explored 4433361 2482
build-model-states-explored 4435850 2489
build-model-states-explored 4438338 2488
build-model-states-explored 4440827 2489
build-model-states-explored 4443305 2478
build-model-states-explored 4445781 2476
build-model-states-explored 4448255 2474
build-model-states-explored 4450743 2488
build-model-states-explored 4452364 1621
build-model-states-explored 4454868 2504
build-model-states-explored 4457367 2499
build-model-states-explored 4459856 2489
build-model-states-explored 4462345 2489
build-model-states-explored 4464834 2489
build-model-states-explored 4467335 2501
build-model-states-explored 4469837 2502
build-model-states-explored 4472337 2500
build-model-states-explored 4474826 2489
build-model-states-explored 4477311 2485
build-model-states-explored 4479799 2488
build-model-states-explored 4482291 2492
build-model-states-explored 4484790 2499
build-model-states-explored 4487291 2501
build-model-states-explored 4489790 2499
build-model-states-explored 4492278 2488
build-model-states-explored 4494773 2495
build-model-states-explored 4497262 2489
build-model-states-explored 4499661 2399
build-model-states-explored 4502052 2391
build-model-states-explored 4504550 2498
build-model-states-explored 4507043 2493
build-model-states-explored 4509538 2495
build-model-states-explored 4512028 2490
build-model-states-explored 4514519 2491
build-model-states-explored 4517024 2505
build-model-states-explored 4519525 2501
build-model-states-explored 4522026 2501
build-model-states-explored 4524520 2494
build-model-states-explored 4527013 2493
build-model-states-explored 4529500 2487
build-model-states-explored 4532000 2500
build-model-states-explored 4534502 2502
build-model-states-explored 4537006 2504
build-model-states-explored 4539508 2502
build-model-states-explored 4542003 2495
build-model-states-explored 4544500 2497
build-model-states-explored 4546996 2496
build-model-states-explored 4549495 2499
build-model-states-explored 4551995 2500
build-model-states-explored 4554502 2507
build-model-states-explored 4556998 2496
build-model-states-explored 4559490 2492
build-model-states-explored 4561981 2491
build-model-states-explored 4564482 2501
build-model-states-explored 4566985 2503
build-model-states-explored 4569490 2505
build-model-states-explored 4571991 2501
build-model-states-explored 4574482 2491
build-model-states-explored 4576979 2497
build-model-states-explored 4579469 2490
build-model-states-explored 4581971 2502
build-model-states-explored 4584474 2503
build-model-states-explored 4586977 2503
build-model-states-explored 4589469 2492
build-model-states-explored 4591951 2482
build-model-states-explored 4594443 2492


----------
Computation aborted after 1800.0668301582336 seconds since the total time limit of 1800 seconds was exceeded.